ワークステーション研究会 第1回シンポジウム 分散オペレーティング・システム 講演 “Mach”